transition system
状態遷移系
Transition monoid
Transformation monoid
Semigroup action
Simulation preorder
Bisimulation
Operational semantics
Kripke structure
Finite-state machine
Modal μ-calculus
/suto3/google.icontransition system
image transition system
define transition system
wikipedia transition system
weblio transition system
kotobank transition system
jisho transition system